- 双语例句 更多例句
1、
提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明；
互联网摘选
2、
3、
它可以用来研究计算机程序语言的指称语义的Domain理论。
互联网摘选
4、
大部分研究程序设计语义专论中的语言模型功能都非常简单，这对阐明实际的程序设计语言是远远不够的，因为这些语言模型很少能完整地编写普通的实际程序。
互联网摘选
5、
程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。
互联网摘选
6、
作为该类编程技术的核心，Answer Set语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。
互联网摘选
7、
本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。
互联网摘选
8、
讨论计算机程序设计语言的Domain理论中的拓扑方法。
互联网摘选
- 相关词组
- programming languagen.程序设计语言;
- fault semantics[计]故障语义学;
- trace semantics[计]轨迹语义学;
- final semantics[计]最终语义学;
- body semantics体态语义学；手势语义学;
- data semantics[计]数据语义学;
- query semantics[计]查询语义学;
- bilinear programming双线性规划;
- formal semantics形式语义学[程序];
- logic semantics[计]逻辑语义学;
- dynamic programming动态规划，动态规划法;
- tree semantics[计]树状语义学;
- verb semantics动词语义学;
- Cartesian coordinate programming[计] 笛卡儿坐标程序设计;
- world semantics[计] 世界语义学;
- linear programmingn.线性规划;
- biennial programming[经] 制定两年期计划;
- programming redesign程序的再设计，程序重新设计;
- convex programming凸性规划;凸规划;
- computer programming计算机编程技术;
- 今日热词
- 热门搜索
- whit n. 极少的量;一点儿;一点点;很少量;丝毫;丝毫不;一点也不;
- fond adj.喜欢;深情的;愉快的;不切实际的;
- thyroid n.甲状腺;甲状软骨;甲状腺剂;甲状腺粉;
- cloudflare n.一家美国跨国科技企业；云端的服务；云闪
- decision making 决策，判定;作出判定;
- quilt n.被子，棉被;被状物;v.缝（被）;用垫料填塞后缝拢;东拼西凑地做;用摘抄等方法编辑;
- specific adj.明确的;独特的;具体的;特定的;特有的;
- grandma n.奶奶，外婆;
- less adv. 较少地，较小地;prep. 减去;少掉;不足;
- Ambien 安比恩（唑匹旦、唑嘧啶胺药剂的商标）;
- could aux.能够，打算;用于假设语气的条件句;用于虚拟语气的结论句;modal.可能会，有时会;（用于表示对某人的行为的厌恶）能，可以;(询问是否可做某事)能，可以;(礼貌地请求别人做事以及提供或建议某事物时)能，可以;能，会;（用于建议）可以;好像，仿佛;（强调感觉）真想
- CCTV n.中央电视台;中国中央电视台（China Central Television）;闭路电视（Closed Circuit Television）；
